//package personal.abandoned;
//
//import java.util.ArrayList;
//
//public class StandardRE extends ArrayList<Integer> {
//
//    /**
//     * 空串
//     */
//    public static final int EMPTY_STR = -(int) 'e';
//    /**
//     * 左括号
//     */
//    public static final int LEFT_BRACKET = -(int) '(';
//    /**
//     * 右括号
//     */
//    public static final int RIGHT_BRACKET = -(int) ')';
//    /**
//     * 闭包
//     */
//    public static final int CLOSURE = -(int) '*';
//    /**
//     * 或
//     */
//    public static final int UNION = -(int) '|';
//
//    @Override
//    public String toString() {
//        StringBuilder ret = new StringBuilder();
//        for (Integer tmp : this) {
//            if (tmp == EMPTY_STR) {
//                ret.append('ε');
//            } else if (tmp == LEFT_BRACKET) {
//                ret.append("\\(");
//            } else if (tmp == RIGHT_BRACKET) {
//                ret.append("\\)");
//            } else if (tmp == CLOSURE) {
//                ret.append("\\*");
//            } else if (tmp == UNION) {
//                ret.append("\\|");
//            }else {
//                ret.append((char) (int)tmp);
//            }
//        }
//        return ret.toString();
//    }
//}
